Nuprl Definition : fpf-dom 11,40
fpf-dom(eq; x; f) == deq-member(eq; x; (f.1)) 
latex

Definitionsdeq-member(eq; x; L), t.1
FDL editor aliasesfpf-dom

origin